Study on automatic deduction method of overall transfer equation for branch multibody system
نویسندگان
چکیده
منابع مشابه
a study on construction of iranian life tables: the case study of modified brass logit system
چکیده ندارد.
15 صفحه اولA Production System for Automatic Deduction
A new predicate calculus deduction system based on production rules is proposed. The system combines several developments in Artificial Intelligence and Automatic Theorem Proving research including the use of domain-specific inference rules and separate mechanisms for forward and backward reasoning. It has a clean separation between the data base, the production rules, and the control system. G...
متن کاملepistemic modality in english and persian academic writing: a cross-linguistic study of genre on the notion of transfer
چکیده حیطه ی نوشتار دانشگاهی اخیرا شاهد تغییرات عمده ای از غیرشخصی بودن (عینی بودن) به شخصی بودن بوده است. شخصی بودن متون دانشگاهی اهمیت استفاده از وجهیت معرفتی را برجسته می سازد چرا که? وجهیت معرفتی? بر اساس یکی از تعاریف ارائه شده از این مقوله? ارتباط تنگاتنگی با شخصی بودن داشته و به عنوان بیان نظر شخصی گوینده در مورد جز گزاره ای گفته در نظر گرفته میشود. بنابراین? با در نظر داشتن نقاط مشترک...
15 صفحه اولa study on thermodynamic models for simulation of 1,3 butadiene purification columns
attempts have been made to study the thermodynamic behavior of 1,3 butadiene purification columns with the aim of retrofitting those columns to more energy efficient separation schemes. 1,3 butadiene is purified in two columns in series through being separated from methyl acetylene and 1,2 butadiene in the first and second column respectively. comparisons have been made among different therm...
An Automatic Partial Deduction System for Constraint Logic Programs
This paper presents a new procedure of partial deduction of various constraint logic programs. The procedure takes a program-goal pair (P0, Q0) as input and outputs a resultant program-goal pair (Pn, Qn). The procedure always terminates and the computational equivalence of the program-goal pairs (P0, Q0) and (Pn, Qn) is preserved. Pn is more efficient in solving Qn than P0 in solving Q0. Our pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mechanical Engineering
سال: 2016
ISSN: 1687-8140,1687-8140
DOI: 10.1177/1687814016651586